Programming language theory

Results: 4158



#Item
321Project management / In dulci jubilo / Ada / United States Postal Service / Type system / Computing / Software engineering / Programming language theory

IN DULCI JUBILO, INC. Latin: “In Sweet Joy” P.O. BoxBerkeley, CaliforniaPhone:

Add to Reading List

Source URL: www.indulcijubilo.org

Language: English
322Software engineering / Programming language theory / Computing / C / Cross-platform software

APAC Minutes – Meeting January 28, 2015 1:00pm Music City Central 400 Charlotte Avenue Nashville, TNCall to Order/Introductions

Add to Reading List

Source URL: secure.nashvillemta.org

Language: English - Date: 2015-05-29 16:00:15
323Programming language theory / Proof theory / Logic in computer science / Models of computation / Curry–Howard correspondence / Philosophy of computer science / Symbol / Lambda calculus / Monad / Theoretical computer science / Computer science / Type theory

Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2013-04-07 11:25:49
324Grammar / Human communication / Question / Hyperlink / Derivative work / C / Software engineering / Programming language theory / Copyright law / Computing / Data collection

Microsoft Word - handout_schrockwebevalsec.doc

Add to Reading List

Source URL: www.schrockguide.net

Language: English - Date: 2015-02-25 14:30:32
325C programming language / C++ / Procedural programming languages / Type theory / C++ classes / C / Initialization / Sizeof / Pointer / Software engineering / Computing / Computer programming

- C Reference Manual Dennis M. Ritchie Bell Telephone Laboratories Murray Hill, New Jersey 07974

Add to Reading List

Source URL: www.math.utah.edu

Language: English - Date: 2002-07-17 22:26:19
326Computing / C++ classes / Reference / ALGOL 68 / C++ / Software engineering / Programming language theory

Why DSLs are Important to the DoE Exascale Mission Saman Amarasinghe MIT Outline

Add to Reading List

Source URL: xstackwiki.modelado.org

Language: English - Date: 2014-05-28 16:00:21
327Cross-platform software / Stack / Programming language theory / Computing / Software engineering / C

Microsoft Word - ICBSR - How to Add New UOM to Location Size Code.docx

Add to Reading List

Source URL: icbs.nwcg.gov

Language: English - Date: 2010-03-30 19:03:23
328Writing / Programming language theory / Computing / Supply chain management / Universal Product Code / International Article Number / ML / FOB / Identifiers / Universal identifiers / Barcodes

STANDARD QUOTATION & SPECIFICATION FORM VENDOR OF RECORD: 1. STATE: 3. BRAND NAME: 5. STATE STOCK: 8. TYPE:

Add to Reading List

Source URL: www.liquor.idaho.gov

Language: English - Date: 2015-02-24 11:19:40
329Usability / Software engineering / ALGOL 68 / Advertising / Computing / Bing / Human–computer interaction / Programming language theory / Technical communication

Evaluating Community Response to Content on Public Displays

Add to Reading List

Source URL: www.cs.tut.fi

Language: English - Date: 2013-03-14 15:17:42
330Software engineering / C / 1 Maccabees / Penny / Programming language theory / Computing / Procedural programming languages / MACC

Proposed Changes to Mathematics Standards

Add to Reading List

Source URL: fldoe.org

Language: English - Date: 2014-10-14 16:15:21
UPDATE